A Categorical Theory of Patches
Pijulが圏論をどう使っているかなどの論文
https://arxiv.org/abs/1311.3903
『バージョン管理 with Pijul』